"home->title" = "home->title";
"home->intro->tags->[0]" = "home->intro->tags->[0]";
"home->intro->tags->[1]" = "home->intro->tags->[1]";
"home->intro->tags->[2]" = "home->intro->tags->[2]";
"warning" = "warning";
"newvisitor->jmz" = "newvisitor->jmz";
"newuser->title" = "newuser->title";
"newuser->badge" = "newuser->badge";
"newuser->definition" = "newuser->definition";
"newuser->selection" = "newuser->selection";
"newuser->instances" = "newuser->instances";
"help->title" = "help->title";
"help->faq" = "help->faq";
"help->docs" = "help->docs";
"help->contact" = "help->contact";
"help->forum" = "help->forum";
"frama" = "frama";